1281. Theory and Design of Digital Computer Systems
المؤلف: by Douglas Lewin, David Noaks.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Microprogramming.
رده :
TK7888
.
3
B936
1992
1282. Theory and Practice of Model Transformations :
المؤلف: edited by Keith Duddy, Gerti Kappel.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2013
1283. Theory and Practice of Model Transformations
المؤلف: edited by Zhenjiang Hu, Juan Lara
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
1284. Theory and Practice of Parallel Programming :
المؤلف: edited by Takayasu Ito, Akinori Yonezawa.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer system failures.,Microprocessors.
رده :
TK7895
.
M5
E358
1995
1285. Theory and practice of natural computing :
المؤلف: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
1286. Thinking differently about HIV/AIDS :
المؤلف: edited by Eric Mykhalovskiy and Viviane Namaste.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: AIDS (Disease)-- Canada.,Critical thinking-- Canada.,HIV infections-- Canada.,Social sciences-- Canada.,HIV.,AIDS (Disease),Critical thinking.,HIV infections.,POLITICAL SCIENCE-- Public Policy-- Social Security.,POLITICAL SCIENCE-- Public Policy-- Social Services & Welfare.,Social sciences.,Canada., 7
رده :
RA643
.
86
.
C3
1287. Thinking-driven testing :
المؤلف: Adam Roman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
رده :
QA76
.
758
1288. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
المؤلف: editors, Masahiko Sato, Yoshihito Toyama
المکتبة: (طهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
1998
1289. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
المؤلف: editors, Masahiko Sato, Yoshihito Toyama
المکتبة: (طهران)
موضوع: Functional programming )Computer science( - Congresses , Logic programming - Congresses
رده :
QA
76
.
62
.
F84
1998
1290. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings
المؤلف: edited by Ehud Shapiro
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
225
1291. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
المؤلف: edited by Ehud Y. Shapiro
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
225
1292. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
المؤلف: edited by Ehud Shapiro.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
1293. Threshold logic and its applications
المؤلف: Muroga, Saburo.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Threshold logic,، Linear programming,، Switching theory
رده :
QA
401
.
M85
1294. Threshold logic & its applications
المؤلف: MUROGA,SABURO
المکتبة: (طهران)
موضوع: THRESHOLD LOGIC , LINEAR PROGRAMMING , SWITCHING THEORY
رده :
QA
401
.
M85
1295. Tools and algorithms for the construction and analysis of systems :
المؤلف: Dirk Beyer, Marieke Huisman (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
1296. Tools and techniques for multi-valued networks using rewriting logic
المؤلف: Alhumaidan, Abdullah Saleh A.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
1297. Tools for structured design: an introduction to programming logic
المؤلف: Bohl, Marilyn
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Structured programming
رده :
QA
76
.
6
.
B63
1993
1298. Topics in theoretical computer science :
المؤلف: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
1299. Towards a design flow for reversible logic
المؤلف: Wille, Robert., Robert Wille, Rolf Drechsler
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer logic,، Computer architecture,، Logic programming
رده :
QA
76
.
9
.
L63
W55
2010
1300. Towards a design flow for reversible logic
المؤلف: / Robert Wille, Rolf Drechsler
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Computer architecture.,Logic programming.
رده :
QA
,
76
.
9
,.
L63
,
W55
,
2010
